Software verification - PDFSEARCH.IO - Document Search Engine

Software verification
Results: 1531

#	Item
121	Proceedings of theAutomated Software Engineering Workshop on Software Certificate Management (SoftCeMent’05) Add to Reading List Source URL: ti.arc.nasa.gov Language: English Cryptography Software quality Key management Public key infrastructure Public-key cryptography Formal methods Public key certificate Certificate authority Professional certification Reliability engineering Software verification and validation Software assurance
122	The Influence of Software Module Systems on Modular Verification Harry Li , Kathi Fisler and Shriram Krishnamurthi Add to Reading List Source URL: web.cs.wpi.edu Language: English - Date: 2002-11-30 10:30:39 Hardware verification languages E Component-based software engineering Model checking Modularity Modular programming Aspect-oriented software development Formal verification
123	Declarative Verifiable SDI Specifications Rick McGeer US Ignite ABSTRACT Add to Reading List Source URL: spw16.langsec.org Language: English - Date: 2016-06-05 23:38:43 Theoretical computer science Formal methods Formal verification Software-defined networking Software verification Turing machine Finite-state machine Model checking Temporal logic OpenFlow Computer science Distributed computing
124	Software Tools for Technology Transfer manuscript No. (will be inserted by the editor) Formally Specifying CARA in Java? Eugene W. Stark Department of Computer Science, State University of New York at Stony Brook, Stony Add to Reading List Source URL: bsd7.cs.sunysb.edu Language: English - Date: 2003-08-25 12:18:38 Formal methods Programming paradigms Cross-platform software Theoretical computer science Logic in computer science Infusion pump Model checking Formal verification Java Object-oriented programming Coupling Design by contract
125	TeleVerify Listing Verification Automated & Scalable TeleVerify—Overview Why You Need A Listing Verification System Add to Reading List Source URL: www.yellowmagic.com Language: English - Date: 2011-12-14 19:28:36 Systems engineering Hardware verification languages Verification E Software verification
126	White Paper Point Lepreau Refurbishment: Project Programmable Digital Comparator (PDC) Replacement for SDS1 and SDS2 – Update 1 Authors: K.G. Fraser, N.M. Ichiyen and A.E. Condor (AECL) P.D. Thompson (New Brunswick Add to Reading List Source URL: iom.invensys.com Language: English - Date: 2011-03-25 09:55:08 Systems engineering Software testing Pharmaceutical industry Validity Software quality Triconex Wonderware Invensys Validation Reliability engineering Verification and validation Software verification and validation
127	Microsoft Word - f1488_1.doc Add to Reading List Source URL: ti.arc.nasa.gov Language: English Software testing Formal methods Logic in computer science Theoretical computer science Program analysis Software verification Formal verification Static program analysis Model checking Requirement Device driver synthesis and verification Runtime verification
128	MUSIC LICENSE IDENTIFICATION (LID) Instant License Rights Verification Through Watermarking Standard LicenseID (LID) - Instant Rights Veriﬁcation LicenseID Add to Reading List Source URL: d1uaasjjtcrwc0.cloudfront.net Language: English - Date: 2016-05-31 11:44:50 Software licenses System administration Copyright law Cryptography law Digital rights management License Audiosocket NetIQ eDirectory Floating licensing
129	Microsoft Word - VOX 1287 ms Add to Reading List Source URL: isbtweb.org Language: English - Date: 2014-12-29 10:16:42 Pharmaceutical industry Software quality Validity Quality Systems engineering Validation Verification and validation Software verification and validation Process validation Specification Quality management system Business process management
130	An Integrated Approach to High Integrity Software Verification Andrew Ireland1 , Bill J. Ellis1 , Andrew Cook1 , Roderick Chapman2 , Janet Barnes2 1 Add to Reading List Source URL: www.macs.hw.ac.uk Language: English - Date: 2006-05-16 11:38:59 Formal methods Automated theorem proving Theoretical computer science Logic in computer science SPARK Loop invariant Mathematical proof Automated reasoning Verification condition generator Formal verification Correctness Conjecture

UPDATE